| emsoft | participants

Gregor Gößler

EMSOFT 2002: 2nd International Workshop on Embedded Software

Compositional Modeling in Metropolis

Gregor Gößler and Alberto L. Sangiovanni-Vincentelli